منابع مشابه
Giacomo Rizzolatti
planet’s climate is changing, that human actions are the most likely dominant cause and that a major response is required, both to reduce the likelihood of disruptive climate change and to adapt to the change which is already under way. “Today the level of carbon dioxide in the atmophere is close to 390ppm, higher than at any time in the past 800,000 years,” warns glaciologist Robert Mulvaney o...
متن کاملGiacomo Bonanno
The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator Bt and a non-normal information operator It which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the...
متن کاملGiuseppe De Giacomo , Maurizio Lenzerini
In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective formal tool for addressing reasoning in expressive DLs. Indeed, the encoding of a DL concept (to be checked for satisfiability) into an automaton (to be checked for non-emptiness) is: (i) intuitive, indeed, comparable to tableaux rules; (ii) modular, since each construct...
متن کامل4 Giacomo Bon a nno
1. Why were you initially drawn to epistemic logic? In my case it took a long and tortuous path to reach the pasture of epistemic logic. My academic career started with a degree in Law from the university of Turin, Italy. During my (compulsory) military service, following graduation, I learned of a scholarship to pursue graduate studies in economics in England. I was lucky enough to obtain it a...
متن کاملDmd059238 1881..1889
Subcutaneous administration of biotherapeutics offers several potential advantages compared with intravenous administration. Many biotherapeutics, both marketed or in development, are administered via the subcutaneous route. This minireview provides an overview of the presystemic absorption processes following subcutaneous administration, the resulting pharmacokinetics after subcutaneous admini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue Forestière Française
سال: 1963
ISSN: 1951-6827,0035-2829
DOI: 10.4267/2042/24564